1 : A (* where e implements J) *
l